模式匹配采用了抽象语法树同构判断算法;指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的;跨过程分析采用基于总结的上下文敏感分析方法。
互联网摘选
论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。
互联网摘选
模式匹配采用了抽象语法树同构判断算法;指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的;跨过程分析采用基于总结的上下文敏感分析方法。
互联网摘选
论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。
互联网摘选
简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。